On Primary Ideals. Part I

نویسندگان

چکیده

Summary . We formalize in the Mizar System [3], [4], definitions and basic propositions about primary ideals of a commutative ring along with Chapter 4 [1] III [8]. Additionally other necessary ideal operations such as compatibilities taking radical intersection finite number are formalized well order to prove theorems relating ideals. These mainly quoted from 1 compiled preliminaries first half article.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

I-prime ideals

In this paper, we introduce a new generalization of weakly prime ideals called $I$-prime. Suppose $R$ is a commutative ring with identity and $I$ a fixed ideal of $R$. A proper ideal $P$ of $R$ is $I$-prime if for $a, b in R$ with $ab in P-IP$ implies either $a in P$ or $b in P$. We give some characterizations of $I$-prime ideals and study some of its properties.  Moreover, we give conditions  ...

متن کامل

ON FIBER CONES OF m-PRIMARY IDEALS

Two formulas for the multiplicity of the fiber cone F (I) = ⊕∞n=0I /mI of an m-primary ideal of a d-dimensional Cohen-Macaulay local ring (R,m) are derived in terms of the mixed multiplicity ed−1(m|I), the multiplicity e(I) and superficial elements. As a consequence, the Cohen-Macaulay property of F (I) when I has minimal mixed multiplicity or almost minimal mixed multiplicity is characterized ...

متن کامل

On Primary Ideals in C(x)

2. Primary ideals in C(X). C(X) denotes the ring of real-valued continuous functions on the topological space X, under ordinary pointwise addition and multiplication. By a primary ideal we mean an ideal which is contained in at most one maximal ideal. An O-ideal is an ideal / such that for each pair/i,/2G/ there exists eEI, depending on/i and f2, such that/<«=/.-, for i = l, 2 [7; 4]. A prime-l...

متن کامل

On Ideals Related to I[λ]

We describe a recipe for generating normal ideals on successors of singular cardinals. We show that these ideals are related to many weakenings of that have appeared in the literature. Our main purpose, however, is to provide an organized list of open questions related to these ideals. Throughout this note, we will let λ denote the successor of a singular cardinal μ. We will also let χ denote s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Formalized Mathematics

سال: 2021

ISSN: ['1898-9934', '1426-2630']

DOI: https://doi.org/10.2478/forma-2021-0010